1. Design and validation of computer protocols
پدیدآورنده : / Gerard J. Holzmann.,هالزمن,Holzmann
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : پروتکلهای شبکه کامپیوتری -- طراحی,Computer network protocols -- Design.
رده :
TK
۵۱۰۵
/
۵
/
ھ
۲
د
۹ ۱۳۷۰
